10. Counted data (2).

Verifying Reference Counted Objects

Reference counting is a pervasive resource management idiom where each resource contains a count of the number of clients that hold a reference to it, and each client increments (resp., decrements) the count on acquiring (resp., releasing) the resource. If the reference count falls to zero, the system can reclaim the resource. Reference counting is often a source of subtle bugs, ranging from le...

Not everything that counts can be counted; not everything that can be counted counts.

Hardware Counted Profile-Guided Optimization

Profile-Guided Optimization (PGO) is an excellent means to improve the performance of a compiled program. Indeed, the execution path data it provides helps the compiler to generate better code and better cacheline packing. At the time of this writing, compilers only support instrumentation-based PGO. This proved effective for optimizing programs. However, few projects use it, due to its complic...

2 : 10 Can We Obtain Wind Data from Insects Using

Applications of atmospheric science are relevant to a range of themes within science and society; application to entomology is the main focus of this meeting. The talks are designed to appeal to the broader scientific community by showcasing areas of science that encompass both disciplines. The audience will hear about exciting topics within weather and climate change, how they are applied to e...

A general compilation algorithm to parallelize and optimize counted loops with dynamic data-dependent bounds

We study the parallelizing compilation and loop nest optimization of an important class of programs where counted loops have a dynamically computed, data-dependent upper bound. Such loops are amenable to a wider set of transformations than general while loops with inductively defined termination conditions: for example, the substitution of closed forms for induction variables remains applicable...